- набросок доказательства
- proof in outline
Russian-English Dictionary "Microeconomics". 2014.
набросок доказательства
Look at other dictionaries:
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Интегральный признак Коши — У этого термина существуют и другие значения, см. Признак Коши. Интегральный признак Коши Маклорена признак сходимости убывающего положительного числового ряда. Признак Коши Маклорена даёт возможность свести проверку сходимости ряда к… … Википедия
Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма Сколема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
Интегральный признак Коши — Маклорена — У этого термина существуют и другие значения, см. Признак Коши. Интегральный признак Коши Маклорена признак сходимости убывающего положительного числового ряда. Признак Коши Маклорена даёт возможность свести проверку сходимости ряда к… … Википедия
Теорема Лёвенгейма — Теорема Лёвенгейма Скулема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
Спектральная теорема — В математике, в частности в линейной алгебре и функциональном анализе, термином спектральная теорема обозначают любой из целого класса результатов о линейных операторах или о матрицах. Не вдаваясь в детали можно сказать, что спектральная теорема… … Википедия
Проблема остановки — В данной статье имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Проблема зависания — В теории вычислимости проблема остановки это проблема разрешимости, которая может неформально быть поставлена в виде: Даны описание алгоритма и его начальные входные данные, требуется определить, сможет ли выполнение алгоритма с этими данными… … Википедия
Проблема останова — В теории вычислимости проблема остановки это проблема разрешимости, которая может неформально быть поставлена в виде: Даны описание алгоритма и его начальные входные данные, требуется определить, сможет ли выполнение алгоритма с этими данными… … Википедия
Атом (теория меры) — У этого термина существуют и другие значения, см. Атом (значения). В теории меры, атом это измеримое множество положительной меры, которое не содержит в себе подмножества меньшей положительной меры. Мера, не имеющая атомов, называется безатомной … Википедия
